<?php
empty $a;